University of Science - PDFSEARCH.IO - Document Search Engine

University of Science
Results: 77099

#	Item
31	Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Software engineering Computer programming Computing Interpolation Video Video signal Craig interpolation Pure Foreach loop
32	Election Violence Research Workshop February 15-16, 2018 REC B 9.22 Common Room Political Science University of Amsterdam Workshop Summary Add to Reading List Source URL: ursuladaxecker.weebly.com Language: English - Date: 2018-01-21 05:04:27 Human behavior Dispute resolution Violence Behavior Gender studies Violence against women Sexual violence Social conflict European Centre for Electoral Support Religious violence Communal violence Peace and conflict studies
33	Learning Outcomes for Master of Science (MSc) in Tourism and Hospitality Management National Qualification Framework for Iceland MSc in Tourism and Hospitality Management at Reykjavik University MSc in Tourism and Hospit Add to Reading List Source URL: en.ru.is Language: English - Date: 2018-06-27 06:10:02 Academic degrees Education Tourism Master's degree Bachelor's degree Hospitality management studies Educational policies and initiatives of the European Union
34	Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-03 13:27:17 Lambda calculus Theoretical computer science Mathematical logic Declarative programming Adjoint functors Anonymous function Type theory Lambda lifting
35	Data Preference Matters: A New Perspective of Safety Data Dissemination in Vehicular Ad Hoc Networks Qiao Xiang1 , Xi Chen1, Linghe Kong1 , Lei Rao2 , Xue Liu1 1 School of Computer Science, McGill University, Canada, 2 Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2015-04-14 12:02:56 Wireless networking Computing Information and communications technology Computer networking Technology Network protocols Data transmission Internet of things Vehicular ad hoc network Wireless ad hoc network Mobile ad hoc network Network packet
36	Asking and evaluating natural language questions Anselm Rothe1 , Brenden M. Lake2 , and Todd M. Gureckis1 1 Department of Psychology, 2 Center for Data Science, New York University Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2016-05-13 20:53:50 Learning Education Human behavior Educational psychology Educational practices Philosophy of education Curricula Bayesian network Active learning Question Bayesian inference Machine learning
37	Planning Under Uncertainty with Temporally Extended Goals Alberto Camacho ∗ Department of Computer Science University of Toronto. Canada. Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-16 07:11:20 Finite automata Temporal logic Automated planning and scheduling Linear temporal logic Theoretical computer science Neuropsychology Computational complexity theory Model checking Deterministic finite automaton Finite-state machine Nondeterministic finite automaton Algorithm
38	Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 10:21:43 Formal languages Mathematics Theoretical computer science Models of computation Discrete mathematics Nested word Words Bisimulation Distribution Deterministic pushdown automaton
39	High-speed high-security signatures Daniel J. Bernstein1 , Niels Duif2 , Tanja Lange2 , Peter Schwabe3 , and Bo-Yin Yang4 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-07-09 00:19:47 Cryptography Elliptic curve cryptography EdDSA Elliptic-curve cryptography Elliptic Curve Digital Signature Algorithm Curve25519 Elliptic-curve DiffieHellman Digital signature Digital Signature Algorithm Daniel J. Bernstein Hash function Public-key cryptography
40	University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ Add to Reading List Source URL: db.cs.washington.edu Language: English - Date: 2018-10-11 15:27:57 Computing Data management Data Business intelligence Database management systems Technology forecasting Transaction processing Dan Suciu Big data Probabilistic database Data science Analytics